$\forall$$i$:Id, $A$:MsgA, $M$:System. ($A$ $\Vert\!+$ $M$($i$)) $\Rightarrow$ @$i$: $A$ $\parallel$ $M$